Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This `foundational debate' in computer science, mathematics and physics was already fully developed in 1930 in the (...) Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics. (shrink)

The debate about constructivism in physics has led to different kinds of questions that can be conventionally framed in two classes. One concerns the mathematics that is considered for the theoretical development of physics. The other is concerned with the experimental parts of physical theories. It is unnecessary to observe that the intersection between our two classes of problems is far from being empty. In this paper we will mainly deal with topics belonging to the second class. However, let us (...) briefly mention some important problems that have been debated in the framework of our first class. For instance, the following: to what extent do the undecidability and incompleteness results of classical mathematics affect fragments of physical theories, in such way as to have a “real physical meaning”? are the mathematical arguments that seem to be essential for physics justifiable in the framework of traditional mathematical constructivism?The first question has recently been investigated by Pitowski, Penrose, da Costa, Doria, Mundici, Svozil and others. As expected by most logicians, one can construct undecidable sentences whose physical meaning seems to be hardly questionable. This happens both in classical and in quantum mechanics. (shrink)

The total and the sharp character of orthodox quantum logic has been put in question in different contexts. This paper presents the basic ideas for a unified approach to partial and unsharp forms of quantum logic. We prove a completeness theorem for some partial logics based on orthoalgebras and orthomodular posets. We introduce the notion of unsharp orthoalgebra and of generalized MV algebra. The class of all effects of any Hilbert space gives rise to particular examples of these structures. Finally, (...) we investigate the relationship between unsharp orthoalgebras, generalized MV algebras, and orthomodular lattices. (shrink)

Fuzzy intuitionistic quantum logics (called also Brouwer-Zadeh logics) represent to non standard version of quantum logic where the connective not is split into two different negation: a fuzzy-like negation that gives rise to a paraconsistent behavior and an intuitionistic-like negation. A completeness theorem for a particular form of Brouwer-Zadeh logic (BZL 3) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.

This volume includes recent contributions to the philosophy of science from a historical point of view and of the highest topicality: the range of the topics covers all fields in the philosophy of the science provided by authors from around the world focusing on ancient, modern and contemporary periods in the development of the science philosophy. This proceedings is for the scientific community and students at graduate level as well as postdocs in this interdisciplinary field of research.

Two different generalizations of Brouwer–Zadeh posets (BZ posets) are introduced. The former (called pre-BZ poset) arises from topological spaces, whose standard power set orthocomplemented complete atomic lattice can be enriched by another complementation associating with any subset the set theoretical complement of its topological closure. This complementation satisfies only some properties of the algebraic version of an intuitionistic negation, and can be considered as, a generalized form of a Brouwer negation. The latter (called degenerate BZ poset) arises from the so-called (...) special effects on a Hilbert space. It is shown that the standard Brouwer negation for effect operators produces a degenerate BZ poset with respect to the order induced from the partial sum operation. (shrink)

Contents: PART 1. MODELS IN SCIENTIFIC PROCESSES. Joseph AGASSI: Why there is no theory of models. Ma??l??gorzata CZARNOCKA: Models and symbolic nature of knowledge. Adam GROBLER: The representational and the non-representational in models of scientific theories. Stephan HARTMANN: Models as a tool for the theory construction; some strategies of preliminary physics. William HERFEL: Nonlinear dynamical models as concrete construction. Elzbieta KA??L??USZY??N??SKA: Styles of thinking. Stathis PSILLOS: The cognitive interplay between theories and models: the case of 19th century optics. PART 2. (...) TOOLS OF SCIENCE. Nancy D. CARTWRIGHT, Towfic SHOMAR, Maricio SUAREZ: The tool-box of science. Javier ECHEVERRIA: The four contexts of scientific activity. Katline HAVAS: Continuity and change; kinds of negation in scientific progress. Matthias KAISER: The independence of scientific phenomena. W??l??adys??l??aw KRAJEWSKI: Scientific meta-philosophy. Ilkka NIINILUOTO: The emergence if scientific specialities: six models. Leszek NOWAK: Antirealism, realism and idealization. Rinat M. NUGAYEV: Classic, modern and postmodern scientific unification. Veikko RANTALA: Translation and scientific change. Gerhard SCHURZ: Theories and their applications - a case of nonmonotonic reasoning. Witold STRAWI??N??SKI: The unity of science today. Vardan TOROSIAN: Are the ethic and logic of science compatible. PART 3. UNSHARP APPROACHES IN SCIENCE. Ernest W. ADAMS: Problems and prospects in a theory of inexact first-order theories. Wolfgang BALZER and Gerhard ZOUBEK: On the comparison of approximative empirical claims. Gianpierro CATTANEO, Maria Luisa DALLA CHIARA, Roberto GIUNTINI: The unsharp approaches to quantum theory. Theo A.F. KUIPERS: Falsification versus efficient truth approximation. Bernhard LAUTH: Limiting decidability and probability. Jaros??l??aw PYKACZ: Many-valued logics in foundations of quantum mechanics. Roman R. ZAPATRIN: Logico-algebraic approach to spacetime quantization. (shrink)

The reconstruction of ensemble d–f of the Akhmîm Papyrus, better known as the Strasbourg Papyrus, which attests approximately eighteen of the over seventy new lines of Empedocles’ physical poem, has drawn the attention of scholars over recent years. Thanks to the good condition of the papyrus and the coincidence with two Empedoclean lines, already known from the indirect tradition, ensemble d–f 1–10a presents a well-restored text and an intelligible sense. In contrast, because of the damaged state of the papyrus, the (...) restoration of d–f 10b–18 is more complicated. These lines seem to describe a life-generative process, but what process was Empedocles talking about? Some resemblances between these papyrus lines and the lines of another Empedoclean fragment, DK 31 B 62, have suggested to scholars, notably to A. Martin and O. Primavesi in 1999 and M. Rashed in 2011, that the lines of the papyrus depict, just like DK 31 B 62, the generation of whole-natured beings. Other scholars, however, such as R. Janko in 2004 and A. Laks and G.W. Most in 2016, show more caution and leave the possibility open that Empedocles is here talking about the generation of something else. (shrink)

Objectives: To report the attitudes and opinions of subjects in US clinical trials about whether or not, and why, they should receive post-trial access (PTA) to the trial drug, care and information. Design: Focus groups, short self-administered questionnaires. Setting: Boston, Dallas, Detroit, Oklahoma City. Participants: Current and recent subjects in clinical trials, primarily for chronic diseases. Results: 93 individuals participated in 10 focus groups. Many thought researchers, sponsors, health insurers and others share obligations to facilitate PTA to the trial drug, (...) if it benefited the subject, or to a therapeutic equivalent. Some thought PTA obligations include providing transition care (referrals to non-trial physicians or other trials, limited follow-up, short-term drug supply) or care for long-term adverse events. Others held, in contrast, that there are no PTA obligations regarding drugs or care. However, there was agreement that former subjects should receive information (drug name, dosage received, market approval date, long-term adverse effects, trial results). Participants frequently appealed to health need, cost, relationships, reciprocity, free choice and sponsor self-interest to support their views. Many of their reasons overlapped with those commonly discussed by bioethicists. Conclusion: Many participants in US trials for chronic conditions thought there are obligations to facilitate PTA to the trial drug at a “fair” price; these views were less demanding than those of non-US subjects in other studies. However, our participants’ views about informational obligations were broader than those of other subjects and many bioethicists. Our results suggest that the PTA debate should expand beyond the trial drug and aggregate results. (shrink)

Le volume rassemble 25 études concernant la cosmologie médiévale, abordée à travers ses diverses composantes, à l’intérieur d’une fourchette chronologique allant de Calcidius jusqu’au XIVe siècle. Dix contributions sont consacrées à des questions de cosmologie hébraïque et islamique, traitant en particulier de Gersonide (R. Gatti), Maïmonide (L. Pepi), Avicenne (C. Di Martino, O. Lizzini), Sohravardî (I. Panzeca), Qûnawî (P. Spallino), les Frères de la Pureté (C. Baffioni) ainsi qu’aux interférences qui existent entre moyen âge islamique et latin : la grande (...) question de la cosmologie alchimique (M. Pereira), des textes traduits comme le De secretis naturae (P. Travaglia), la doctrine de la grande année dans Thebit et Pietro d’Abano (F. Seller). Les travaux de E.S. Mainoldi et de R. Gambino consacrent une large place à l’influence de la patristique grecque sur la pensée occidentale. D’autres études présentent le développement de la pensée cosmologique et scientique latine à partir de Calcidius (C. Militello), par l’intermédiaire d’Adélard de Bath (P. Palmeri), de Guillaume de Conches (G. Pellegrino) et d’autres documents divers (A. Tarabochia Canavero) jusqu’à l’avènement de l’aristotélisme physique, en particulier dans les commentaires universitaires aux Météorologiques (G. Fioravanti), au De caelo (C.A. Musatti, A. Vella) et chez Dante (M. Gallarino, P. Falzone). Quant à la littérature scientifique en langue vulgaire, elle est représentée par Restoro d’Arezzo (U. Villani-Lubelli) et Raymond Lull (J.Gayà). La communication de G. Alliney est dédiée à des questions de méthode historiographique, tandis que la contribution magistrale de Tullio Gregory sur “Cosmogonie et cosmologies chrétiennes” reconstitue de manière idéale l’ensemble des liens constituant les coordonnées générales de l’ensemble de la problématique abordée sous ses différentes facettes par les auteurs du volume. (shrink)

Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.

This paper considers the implications of Chiara Lepora and Robert Goodin's On Complicity and Compromise (OUP, 2013) for our understanding of international law. That volume systematizes and evaluates individuals’ ethical choices in getting (too) close to evil acts. For the law of nations, these concepts are relevant in three critical ways. First, they capture the dilemmas of those charged with implementing international law, e.g., Red Cross delegates pledged to confidentiality learning of torture in a prison. Second, they offer a (...) rubric for understanding when a state may use coercion against certain actors, e.g., international law's rules for when one state may use force against another based on the latter's ties to terrorist acts. Third, they offer a moral grounding for many international obligations of states based on the need to avoid their own complicity in others' wrongs, e.g., by not expelling refugees to a state persecuting them or by preventing private actors from committing human rights abuses. In the case of the last two, the law reflects decisions by states about how much complicity they will tolerate – either complicity by others or complicity by the states themselves. (shrink)

Shi and Aharonov have shown that the Toffoli gate and the Hadamard gate give rise to an approximately universal set of quantum computational gates. The basic algebraic properties of this system have been studied in Dalla Chiara et al. (Foundations of Physics 39(6):559–572, 2009), where we have introduced the notion of Shi-Aharonov quantum computational structure. In this paper we propose an algebraic abstraction from the Hilbert-space quantum computational structures, by introducing the notion of Toffoli-Hadamard algebra. From an intuitive (...) point of view, such abstract algebras represent a natural quantum generalization of both classical and fuzzy-like structures. (shrink)

Makale feminizmin genel olarak insan dışı hayvanların, özel olarak da tarımda kullanılan insan dışı hayvanların özgür ve özerk yaşama haklarını savunması gerektiğini savlamaktadır. Tarımda kullanılan insan dışı hayvanlardan elde edilen ürünlerin üretim süreçleri sadece onların bedenlerinin insanların arzuları uyarınca üretilip tüketilmelerini değil, ömürleri boyunca doğalarına aykırı şartlarda yaşayarak, sürekli eziyete maruz bırakılmalarını kapsamaktadır. Üstelik mevcut pratikler dişi insan dışı hayvanları, özellikle süt ve yumurta endüstrilerinde, biyolojik üreme yetilerinden faydalanmak adına ek eziyetlere maruz bırakmaktadır. Bu temel savı desteklemek için bell hooks (...) ve Carol J. Adams gibi yazarların eserlerinden faydalanılarak dört argüman öne sürülmüştür. Cinsiyeti biyolojik parametrelerle tanımlamanın sorunlu olacağına dair bir eleştiri de değerlendirilip, bu eleştiriye Wittgensteincı düşünceden yola çıkan bir yanıt önerilmiştir: Her ne kadar tarımda kullanılan insan dışı hayvanların cinsiyetini biyolojik parametrelerle tanımlıyor olsak da bu, biyolojinin genel olarak kadınlığı ve dişiliği tanımlamanın yeterli veya tek kriteri olduğu anlamına gelmemektedir. (shrink)

Shi and Aharonov have shown that the Toffoli gate and the Hadamard gate give rise to an approximately universal set of quantum computational gates. We study the basic algebraic properties of this system by introducing the notion of Shi-Aharonov quantum computational structure. We show that the quotient of this structure is isomorphic to a structure based on a particular set of complex numbers (the closed disc with center \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$(\frac{1}{2},\frac{1}{2})$\end{document} and radius \documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\frac{1}{2}$\end{document} ). (shrink)